Trailing Analysis for HAL
نویسندگان
چکیده
The HAL language includes a Herbrand constraint solver which uses Taylor’s PARMA scheme rather than the standard WAM representation. This allows HAL to generate more efficient Mercury code. Unfortunately, PARMA’s variable representation requires value trailing with a trail stack consumption about twice as large as for the WAM. We present a trailing analysis aimed at determining which Herbrand variables do not need to be trailed. The accuracy of the analysis comes from HAL’s semi-optional determinism and mode declarations. The analysis has been partially integrated in the HAL compiler and benchmark programs show good speed-up.
منابع مشابه
Combining an Improvement to PARMA Trailing with Analysis in HAL
Trailing of bindings in the PARMA variable representation is expensive in time and space. We present two schemes that lower its cost: the first is a technique that halves the space cost of trailing in PARMA. It can be used with both conditional and unconditional trailing. It is illustrated and evaluated in the context of dProlog and in the Mercury backend of HAL. The second scheme combines a va...
متن کاملImproving PARMA trailing
Taylor introduced a variable binding scheme for logic variables in his PARMA system, that uses cycles of bindings rather than the linear chains of bindings used in the standard WAM representation. Both the HAL and dProlog languages make use of the PARMA representation in their Herbrand constraint solvers. Unfortunately, PARMA’s trailing scheme is considerably more expensive in both time and spa...
متن کاملSimulating Cooling Injection Effect of Trailing Edge of Gas Turbine Blade on Surface Mach Number Distribution of Blade
In this research, a gas turbine blade cascade was investigated. Flow analysis around the blade was conducted using RSM and RNG.K-ε turbulence modeling and it is simulated by Fluent software. The results were considered for the cases as Mach number loss at the trailing edge of blade caused by vortexes that were generated at the end of blade. Effect of cooling flow through the trailing edge on th...
متن کاملKinematic Synthesis of a Trailing Six-member Mechanism for Automotive Steering
Kinematic synthesis of a trailing six-member mechanism has been carried out to achieve five precision points of an automotive steering mechanism. The inner wheel can be rotated up to forty five degrees with fair accuracy. Results show that the divergent end behavior of Ackermann Steering Mechanism has been overcome by the present mechanism. The work is similar to earlier work by the present ...
متن کاملEvaluating the potential risk of musculoskeletal disorders among bakers according to LUBA and ACGIH-HAL indices
Background: Bakers, due to the nature of their jobs, are at risk of musculoskeletal disorders (MSDs) caused by ergonomic factors. The purpose of this study was to evaluate the biomechanical risk factors for MSDs in bakers. Materials and Methods: In the current study, all Sangak, Taftoon, and Lavash bread bakeries in Gonabad, Iran, were selected based on census method. Then, hierarchical task...
متن کامل